Mathematical Institute - PDFSEARCH.IO - Document Search Engine

Mathematical Institute
Results: 2914

#	Item
711	Courant Institute of Mathematical Sciences Telecommuting Work Arrangement (TWA) Introduction A Telecommuting Work Arrangement (TWA) is a privilege not a right, granted to high-performing code 100 administrative and profe Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2014-03-27 17:31:20 Trans World Airlines Economy of the United States Business Aviation Working time Telecommuting Courant Institute of Mathematical Sciences
712	Fritz-Haber-Institut der Max-Planck-Gesellschaft, Humboldt-Universität zu Berlin, Max-Delbrück-Centrum für Molekulare Medizin, Otto-von-Guericke-Universität Magdeburg, Physikalisch-Technische Bundesanstalt, Technisch Add to Reading List Source URL: www.bcsccs.de Language: English - Date: 2014-10-27 08:54:52 Mathematical analysis Chemical engineering Academia Berlin Institute of Technology Front velocity Advection
713	TU Muenchen, Quantics-TT preconditioned and DMRG methods in high-dimensional quantum and stochastic computations Boris N. Khoromskij Max-Planck-Institute for Mathematics in the Sciences, Add to Reading List Source URL: www.exqm.de Language: English - Date: 2014-03-13 12:17:49 Numerical linear algebra Tensor Density matrix renormalization group Numerical analysis Partial differential equation Singular value decomposition Preconditioner Iterative method Algebra Mathematics Mathematical analysis
714	POPOLARE VITA_modulo Richiesta di pagamento PIP.mdi Add to Reading List Source URL: www.popolarevita.it Language: English - Date: 2014-07-21 03:20:43 Mathematical Sciences Research Institute Hippe HM
715	Matthew G. Knepley Computation Institute University of Chicago 5735 S Ellis Ave Chicago, IL 60637, USA Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-02-17 15:25:47 Software Portable Extensible Toolkit for Scientific Computation Computational science FEniCS Project GPGPU J. Tinsley Oden Society for Industrial and Applied Mathematics Citcom Mathematical optimization Application software Science Numerical linear algebra
716	Information for International PhD Candidates General Information The TU Berlin regards doctoral research as the first independent scientific activity of early-stage researchers either supervised individually or as part o Add to Reading List Source URL: www.tudoc.tu-berlin.de Language: English - Date: 2014-03-12 09:14:13 Berlin Institute of Technology Doctorate Graduate school Doctor of Philosophy Postgraduate education Doctor of Engineering Academic degree Berlin Mathematical School Education Academia Knowledge
717	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
718	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
719	University of Utah Department of Mathematics April 2009 Volume 9, Number 4 Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2009-10-08 15:08:57 Mathematical Sciences Research Institute Mathematical sciences Utah State University Emmy Noether Mathematical Association of America Mathematics education Statistics education Science Mathematics
720	UNIVERSITY OF UTAH MATHEMATICS DEPARTMENT NEWSLETTERA WORD FROM THE CHAIRMAN The first full academic year of the decade Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2000-12-07 14:24:31 Knowledge Courant Institute of Mathematical Sciences Charles Coulson Academic administration Professor Titles

UPDATE